reachability graph中文是什么意思

• 可达图

• "graph"中文翻译     graph3 n. 【语言学】 1.词的拼法 ...
• "reachability" 中文翻译 :    可存取性; 可达性；能达性; 能达到性
• "connective reachability" 中文翻译 :    联结可达性
• "erreichbarkeit reachability" 中文翻译 :    可达到性
• "matrix of reachability" 中文翻译 :    可达性矩阵
• "persistence by reachability" 中文翻译 :    可达性完成持久化
• "reachability map" 中文翻译 :    可达到映射
• "reachability set" 中文翻译 :    可达到集
• "reachability tree" 中文翻译 :    可达树
• "step reachability" 中文翻译 :    步可达性
• "-graph" 中文翻译 :     comb. f. 表示 1.“写、画、记录的用具”： phonograph, telegraph. 2.“写[画、记录]的结果”： autograph, photograph.
• "a graph" 中文翻译 :    一幅图画
• "and-or graph" 中文翻译 :    “与或”图
• "graph" 中文翻译 :    n. 1.【数学】曲线图；坐标图，图表。 2.统计曲线。 vt. 用图表表示，把…绘入图表。 n. 胶版。 vt. 用胶版印刷。 graph3 n. 【语言学】 1.词的拼法。 2.表示音素的最小字母单位。
• "end points and reachability" 中文翻译 :    结束点和可到达性
• "ra reachability analysis" 中文翻译 :    可达性分析
• "bipartiter graph bipartite graph" 中文翻译 :    偶图
• "directed graph undirected graph" 中文翻译 :    有向图无向图
• "a curve on a graph" 中文翻译 :    图表上的曲线
• "abstract graph" 中文翻译 :    抽象图
• "abundance graph" 中文翻译 :    丰度图
• "activity graph" 中文翻译 :    见活动图
• "acyclic graph" 中文翻译 :    非循环图; 非循环围; 环道自由图; 无圈图; 无圈图, 非循环图
• "adjoint graph" 中文翻译 :    导出图
• "aero graph" 中文翻译 :    天线电报机

• For quantitative solution , we study gspn and find that the reachability graph of a gspn is isomorphic to a continuous time markov process ( ctmp ) when the vanishing markings are eliminated , so markov process method can be used
  在安全性定量分析方面，我们研究发现去除消失标识后， gspn的可达图与一个连续时间markov过程( ctmp )是同构的，为此，可利用markov过程方法进行分析。
• Then the methods using reachability graph to analyze static and dynamic structural performance of colored timed workflow net are improved , and the theorem verifying whether there are deadlocks or traps in concurrent workflow are put forward using reachability graph
  通过可达图分析着色时间工作流网静态和动态性能,提出用可达图检验工作流中是否存在死锁和陷阱的判断定理。
• Three necessary conditions on the parameters are derived , and then a reduced reachability graph is obtained by applying the necessary conditions to lessen the combinatorial state explosion . and these dynamic characteristics to this model are verified preliminarily using the reduced reachability graph
  根据本文提出的可达分析技术，推导出了保证协议正确操作的参数间的时间关系，根据该时间关系，我们得到了所建模型的简化的可达标识图，并对该模型的动态特性进行了初步分析。